Chang, Bor-Yuh Evan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Mixing type checking and symbolic execution

Khoo, Yit Phang, Chang, Bor-Yuh Evan, Foster, Jeffrey S.

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 537 KB

english, 2010

2

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 10695 || Efficient Functional Reactive Programming Through Incremental Behaviors

Chang, Bor-Yuh Evan

Year:

2017

Language:

english

File:

PDF, 779 KB

english, 2017

3

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Fissile type analysis

Coughlin, Devin, Chang, Bor-Yuh Evan

Year:

2014

Language:

english

File:

PDF, 652 KB

english, 2014

4

[IEEE 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Campobasso (2018.3.20-2018.3.23)] 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Mining framework usage graphs from app corpora

Mover, Sergio, Sankaranarayanan, Sriram, Olsen, Rhys Braginton Pettee, Chang, Bor-Yuh Evan

Year:

2018

Language:

english

File:

PDF, 417 KB

english, 2018

5

[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - Safe stream-based programming with refinement types

Stein, Benno, Clapp, Lazaro, Sridharan, Manu, Chang, Bor-Yuh Evan

Year:

2018

File:

PDF, 660 KB

2018

6

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 10695 || Verified Root-Balanced Trees

Chang, Bor-Yuh Evan

Year:

2017

Language:

english

File:

PDF, 301 KB

english, 2017

7

A bit too precise? Verification of quantized digital filters

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 634 KB

english, 2014

8

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Calling context abstraction with shapes

Rival, Xavier, Chang, Bor-Yuh Evan

Year:

2011

Language:

english

File:

PDF, 806 KB

english, 2011

9

Inferring Object Invariants: Extended Abstract

Bor-Yuh Evan Chang, K. Rustan, M. Leino

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 250 KB

english, 2005

10

Relational inductive shape analysis

Chang, Bor-Yuh Evan, Rival, Xavier

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 718 KB

english, 2008

11

Preface

Chang, Bor-Yuh Evan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 104 KB

english, 2015

12

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Thresher

Blackshear, Sam, Chang, Bor-Yuh Evan, Sridharan, Manu

Year:

2013

Language:

english

File:

PDF, 656 KB

english, 2013

13

[ACM Press the 2012 International Symposium - Minneapolis, MN, USA (2012.07.15-2012.07.20)] Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012 - Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say

Coughlin, Devin, Chang, Bor-Yuh Evan, Diwan, Amer, Siek, Jeremy G.

Year:

2012

Language:

english

File:

PDF, 395 KB

english, 2012

14

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 10695 || A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

Chang, Bor-Yuh Evan

Year:

2017

Language:

english

File:

PDF, 709 KB

english, 2017

15

[ACM Press the extended abstracts of the 32nd annual ACM conference - Toronto, Ontario, Canada (2014.04.26-2014.05.01)] Proceedings of the extended abstracts of the 32nd annual ACM conference on Human factors in computing systems - CHI EA '14 - Android apps consistency scrutinized

Alharbi, Khalid, Blackshear, Sam, Kowalczyk, Emily, Memon, Atif M., Chang, Bor-Yuh Evan, Yeh, Tom

Year:

2014

Language:

english

File:

PDF, 768 KB

english, 2014

16

PML: Toward a High-Level Formal Language for Biological Systems

Bor-Yuh Evan Chang, Manu Sridharan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 335 KB

english, 2007

17

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Relational inductive shape analysis

Chang, Bor-Yuh Evan, Rival, Xavier

Year:

2008

Language:

english

File:

PDF, 718 KB

english, 2008

18

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - Mixing type checking and symbolic execution

Khoo, Yit Phang, Chang, Bor-Yuh Evan, Foster, Jeffrey S.

Year:

2010

Language:

english

File:

PDF, 537 KB

english, 2010

19

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 10695 || A Computational Interpretation of Context-Free Expressions

Chang, Bor-Yuh Evan

Year:

2017

Language:

english

File:

PDF, 542 KB

english, 2017

20

[Lecture Notes in Computer Science] Static Analysis Volume 11822 (26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings) ||

Chang, Bor-Yuh Evan

Year:

2019

File:

PDF, 19.69 MB

2019

21

[Lecture Notes in Computer Science] Static Analysis Volume 11822 (26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings) ||

Chang, Bor-Yuh Evan

Year:

2019

Language:

english

File:

PDF, 19.69 MB

english, 2019

22

Thresher

Blackshear, Sam, Chang, Bor-Yuh Evan, Sridharan, Manu

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 656 KB

english, 2013

23

Calling context abstraction with shapes

Rival, Xavier, Chang, Bor-Yuh Evan

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 806 KB

english, 2011

24

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 10695 || Taming Message-Passing Communication in Compositional Reasoning About Confidentiality

Chang, Bor-Yuh Evan

Year:

2017

Language:

english

File:

PDF, 571 KB

english, 2017

25

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - D roid S tar

Radhakrishna, Arjun, Lewchenko, Nicholas V., Meier, Shawn, Mover, Sergio, Sripada, Krishna Chaitanya, Zufferey, Damien, Chang, Bor-Yuh Evan, Černý, Pavol

Year:

2018

Language:

english

File:

PDF, 213 KB

english, 2018

26

In defense of soundiness

Livshits, Benjamin, Vardoulakis, Dimitrios, Sridharan, Manu, Smaragdakis, Yannis, Lhoták, Ondřej, Amaral, J. Nelson, Chang, Bor-Yuh Evan, Guyer, Samuel Z., Khedker, Uday P., Møller, Anders

Journal:

Communications of the ACM

Year:

2015

Language:

english

File:

PDF, 203 KB

english, 2015

27

[ACM Press the 2005 ACM SIGPLAN international workshop - Long Beach, California, USA (2005.01.10-2005.01.10)] Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '05 - Type-based verification of sssembly language for compiler debugging

Chang, Bor-Yuh Evan, Chlipala, Adam, Necula, George C., Schneck, Robert R.

Year:

2005

Language:

english

File:

PDF, 361 KB

english, 2005

28

[ACM Press the 2005 ACM SIGPLAN international workshop - Long Beach, California, USA (2005.01.10-2005.01.10)] Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '05 - The open verifier framework for foundational verifiers

Chang, Bor-Yuh Evan, Chlipala, Adam, Necula, George C., Schneck, Robert R.

Year:

2005

Language:

english

File:

PDF, 343 KB

english, 2005

29

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Semantic-directed clumping of disjunctive abstract states

Li, Huisong, Berenger, Francois, Chang, Bor-Yuh Evan, Rival, Xavier

Year:

2017

Language:

english

File:

PDF, 302 KB

english, 2017

30

[ACM Press the 2017 ACM SIGPLAN International Symposium - Vancouver, BC, Canada (2017.10.25-2017.10.27)] Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software - Onward! 2017 - ChimpCheck: property-based randomized test generation for interactive apps

Lam, Edmund S. L., Zhang, Peilun, Chang, Bor-Yuh Evan

Year:

2017

Language:

english

File:

PDF, 2.64 MB

english, 2017

31

[ACM Press the 4th ACM SIGPLAN International Workshop - Portland, OR, USA (2015.06.14-2015.06.14)] Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015 - Droidel: a general approach to Android framework modeling

Blackshear, Sam, Gendreau, Alexandra, Chang, Bor-Yuh Evan

Year:

2015

Language:

english

File:

PDF, 291 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски